On Everywhere Strongly Logifiable Algebras
نویسنده
چکیده
We introduce the notion of an everywhere strongly logifiable algebra: a finite non-trivial algebra A such that for every F 2 P(A)r {;, A} the logic determined by the matrix hA, F i is a strongly algebraizable logic with equivalent algebraic semantics the variety generated by A. Then we show that everywhere strongly logifiable algebras belong to the field of universal algebra as well as to the one of logic by characterizing them as the finite non-trivial simple algebras that are constantive and generate a congruence distributive and n-permutable variety for some n > 2. This result sets everywhere strongly logifiable algebras surprisingly close to primal algebras. Nevertheless we shall provide examples of everywhere strongly logifiable algebras that are not primal. Finally, some conclusion on the problem of determining whether the equivalent algebraic semantics of an algebraizable logic is a variety is obtained.
منابع مشابه
ALGEBRAS WITH CYCLE-FINITE STRONGLY SIMPLY CONNECTED GALOIS COVERINGS
Let $A$ be a nite dimensional $k-$algebra and $R$ be a locally bounded category such that $R rightarrow R/G = A$ is a Galois covering dened by the action of a torsion-free group of automorphisms of $R$. Following [30], we provide criteria on the convex subcategories of a strongly simply connected category R in order to be a cycle- nite category and describe the module category of $A$. We p...
متن کاملIndividual ergodic theorem for intuitionistic fuzzy observables using intuitionistic fuzzy state
The classical ergodic theory hasbeen built on σ-algebras. Later the Individual ergodictheorem was studied on more general structures like MV-algebrasand quantum structures. The aim of this paper is to formulate theIndividual ergodic theorem for intuitionistic fuzzy observablesusing m-almost everywhere convergence, where m...
متن کاملThe second dual of strongly zero-product preserving maps
The notion of strongly Lie zero-product preserving maps on normed algebras as a generalization of Lie zero-product preserving maps are dened. We give a necessary and sufficient condition from which a linear map between normed algebras to be strongly Lie zero-product preserving. Also some hereditary properties of strongly Lie zero-product preserving maps are presented. Finally the second dual of...
متن کاملUnimodular Minimal Structures
A strongly minimal structure D is called unimodular if any two finite-to-one maps with the same domain and range have the same degree; that is if/4: (/-»• V is everywhere fc4-to-l, then kx = kc,. THEOREM. Unimodular strongly minimal structures are locally modular. This extends Zil'ber's theorem on locally finite strongly minimal sets, Urbanik's theorem on free algebras with the Steinitz propert...
متن کاملStrong Topological Regularity and Weak Regularity of Banach Algebras
In this article we study two different generalizations of von Neumann regularity, namely strong topological regularity and weak regularity, in the Banach algebra context. We show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. Then we consider strong topological regularity of certain concrete algebras. Moreover we obtain ...
متن کامل